perm filename AMSL9.360[GF,SYS] blob
sn#784682 filedate 1985-02-07 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T Gd⊃p∂∧`%`↓W5XαV`UPβ⊗@eHβV!¬@↓@ U8↓@@U8↓`U0↓@`U0↓↓e(↓A U(↓↓@U ↓A@U ↓↓`e_↓BU_λ∀B∃λ↓B@Uλ↓α`e↓CU↓β Tx↓C Tx↓β@Tp↓C@d`αC@dP∧B!TP∧B!T("⊂Cb∂π@A('¬j 0∧A* 0¬↓* (¬A* (ε↓* (ε↓* (ε↓* (ε↓*⊂0¬A*⊂(ε↓*⊂(¬A*⊂(¬↓J⊂(∧A*⊃⊂(¬
(¬A*(ε↓*(εA*(εA*(εA)p0εA)p(π↓)p(π↓)p(π↓)p(εA)p(ε↓I`0¬AI`(¬↓i!@%¬HT !Gd1p∂βa0↓∃AP_↓Up(α@5⊂βα@uλαC UαC@TxαDDpαD DhαD`4hαD`4`αE$`αE$XαE $XαR`TPβ∩@TPαR@TPαE $Xα¬4XαD`4XαD@4`α∧@4`αD4hαβ`Dpαβ DxαB Uβ↓ U⊂εU↓∀("⊃∧" ∂π@A('ε
0∧AJ 0¬A* (εA* (π↓* (πA
(πA* (πA*⊂0λ↓
⊂(λA*⊂(λA*⊂(λA*⊂(λA*⊂(λA*0λ↓J(λA*(λA*(λA*(λ↓*(λ↓)p0πAIp(λ↓)p(πA)p(π↓)p(εAIp(ε↓I`0¬A)`(∧Ai!8%¬(T "Gd⊃p∂↓β4p
T@`Xβ∀@`hα∀@Px↓T@Px↓T@Px↓T@Px↓T@P8↓↓@5λβ↓@00↓∀ P8↓↓`%λαA`%λαA@5λαA Eλπ∀↓uαA@5αA@5αA`%αA` @↓∀P8↓↓`4xβ↓` 8↓∪`Q↓S`Q↓S`Px↓S`Ppα∪`Ppα∪@``αS@PP∧∩C$P
⊃(D0∞πCapαEiq8)A!0)↓A )↓!@_)↓!@_)↓!@_)↓!@_)↓ `⊂αj⊂0α@`@⊂(A `⊂α@J⊂(βJ⊂(α@j⊂(α↓
⊂h(βJ(α@j(βJ(βJ(βJ(βIp0βIp('A)p('A)p('↓I`0%βi x"Qλqx⊃GC`x∧↓@%0ε@`5 βA @⊂↓T@`PβT PhαTPxα∪`Qα∪@Q⊂↓S Q_↓S Q_↓SQ ↓∪Q ↓∩`TXαR`TPβ∩@TPαR@P`π∩@P`π∩`Aλβ∩`Qβ∩`QαSAαSPxαS @xαS@@hβ∪`PPβT`0∧∀AP⊂↓U↓⊂(↓⊃(D@⊃I#apαC @h'C @h)↓A00)↓A00)↓!@()↓!@()↓!@()↓!@()↓!@((AA00(A!@((A!@((A!@((A!@((EJ↓8(↓!@((↓!@((↓!@((↓!@((↓!@('AA00'A!@('A!@('A!@('A!@('A!@('↓A00'↓A00%β @h%β @h"Q ⊃⊂
πC` π∪Ae⊂β∀@e⊂αT@U⊂αT@U⊂αT eλαT UλαT UλαTeαTUαTUαS`dxαS`TxαS`TxαS@dpβ∩AdPπ⊃(DPF#ap¬β*@h,↓K0,↓+(,↓+(,↓*p0+A*p(+A*p(+A*`0+↓*`(+↓*`(+↓*P0%A`(%↓@P(%↓@P(%↓@P(%↓@@(%↓ @0%↓@0%BiP8"Q 2 ∪πC` π↓ADpπ↓AE⊂ββ U⊂ββE⊂αCE⊂αB`5⊂αB@5⊂αB 5⊂αB5λβ↓@EλαA@EλαA EλαAUλα@`uλα@A¬¬ e∧@`UβA eβ↓`UαBeαB Txβα TxαB@dxαB`TxαB`dxαCTxαCdpββ Tpββ dPπ↓!TPπ↓!T("∪β!`∂π@Pp'CJ 0)↓J ()↓* ()↓* ((AJ⊂((A*⊂((A*⊂((↓J((↓*((↓!P⊂(↓!@_'AA@⊂'A!P⊂'A!@_'A!@_'A!0_'A! '↓A⊂('↓!8%¬i!8"Q Rh↔πC` ¬¬A∀p¬¬!%⊂βEe⊂βD`u⊂βD@u⊂βD@u⊂∧∧↓¬⊂↓ Px↓@ U⊂↓ Px↓@Uλ↓@ `h↓@ eλ↓`Ph↓@Uλ↓`P`↓@@Uλ↓``P↓@`Uλ↓↓PP↓↓Uλ↓↓PH↓AU↓AP@↓Ae↓↓ `8↓↓ U↓↓@P0↓A U↓↓@P0↓↓@U↓↓@` ↓A@U↓↓`P_↓A`Tx↓A`P_↓↓`dx↓αP⊂↓A`Tx↓α↓⊂@αS` HβB Tx↓α pHαS` Hβα@Tp↓B@@Pβ∪ @Pαα@dP¬A@08π∩A08↓↓ad("∪D2(∂π@PH¬BIpH¬BJ00εA
8ε@j @εJ ⊂AA0⊂)@ (¬@J ⊂↓↓A ⊂)@0(¬J⊂_↓AA_(@@P(∧J⊂⊂αA@p⊂(@@`(β@J⊂⊂β↓@`⊂(@@p(βJ_βA@@_(A⊂(αJ⊂∧A@0⊂(A (↓@J⊂¬↓@ ⊂(A0(↓Ip_¬B)p⊂εAip⊂εAip⊂π↓Ip⊂π↓Ip⊂πA)`_λ↓ P λi PπI PπHT 'H∧Ap∂βA∃(π∀`p(β∀@PPαT P`αTPpα∪`PxαS@QλαS Q⊂αS Q⊂αSQ αSQ αR`Q(αR`Q(αR`Q(αR@a β∩@Q(αR@Q(αR@Q(αR@Q β∩@Q αR`A_β∩`Q⊂αR`QλαSPxαSPpαS P`αS@PPαS``(βT!e_∧Q(E∂H#apα¬)a8)↓A⊂0)↓A ()↓!@()↓!@0)↓!P()↓!P()↓!P((AA@0(A!P((A!@0(A!@((A!0((A!⊂0(∧j↓λ(↓*((↓*('AIp('A)p('A)p('↓I`0%βI p"Q
∩∩ c`p∧U!e_βA e⊂αB@UλαCUαC@DxαC`TpαD ThαD@ThαD@T`αET`αETXαE TXαE TXαE TPβ¬dPαE TPαE TPαE TPαEdPαETXα∧`dXαD@TXαD T`αA ` αSP ∧@Thα@@0_∧S@Pλ↓↓ tx∧`uλπ↓@%_¬A`%X↓A`%X↓A@5X↓A 5Xα`EX¬⊗a%`∧↔uhαQ(E⊂∂H#apαDIq()↓@p0)↓A⊂()↓!0()↓!00)↓!@()↓!@()↓!00(AA0((A!00(A!0((A!⊂0(A p8(D*x(↓ p((↓! (↓!⊂ (↓!⊂((↓! 'AA⊂('A! ('A! ('A! ('A! ('A! (αI`0¬↓ 0_'↓A (↓i h∧α h∧AHT )Fβ!p∂α`p ↓∀A@λ↓T P(βT@HαS`0`↓S`0`↓S@0h↓S@0p↓∪@0p↓∪@@h↓∪@Dpβ∪A$xεT↓eλπ∀aE8∧V@e`α∪ xα∩`0xα∩`0x↓R`0x↓R`0x↓R`@h↓R`@`α∩@pHα∩@0λαA TP↓@a4P↓↓@t("∃βb_∂π@1X&Fi@8αA @8&↓ `0β↓)@ βA! &a(∧↓ 0_∧A!⊂_%@a⊂(∧@i0⊂¬↓!⊂_%a⊂0∧@I ⊂¬↓! ⊂+↓*`(+↓*`(*AJP(*A*P(*A*P(*↓J@(*↓*@(*↓*@()AJ00&D)Qλ"Q
Qp∩GC`εAa$PεAa$hββ@Dhββ@4hαC`$hαC`$hαC`$hαC`$hαC`$`ββ@4`αC`$`αC`$`αC`$`αC`$`αC`$Xββ@4XαC`$XαC`$XαC`$XαC`$XαC`$XαC@4Xαβ`$Xαβ@4XαC $XαC4`αα`4`αB 4hβ↓Txε∀ t("∃Cb(∂π@`∧B) `∧B)P0π↓ P0πi`(πI`(ε@i`(ε@I`(εi`0¬@Ip(¬ip(∧@ip(∧@Ip(∧ip0β@J(βj(βJ(α@j0αJ⊂(↓@j⊂(↓@J⊂(↓j⊂(@j⊂@)↓j 0)↓J ()↓*0_)@j0⊂"Q
rH_GC`¬@aP(∧RA0_εA!∀`αB`P`α∪PXαC4`βα@`X↓∪ PPβα@4hαB@`P↓∪ PHβB 4hαB pH↓∪ P@∧α4hβ↓` λβ↓`$pαA@0⊂αA@4pαA@ _αA@$pαA 0_αA 4pαA αA $pαA αA $pαA0 αA4pβ` (β`$xα@@00α@@4xα@@ 8α@@$xα@ 08α@ 4xα@ @α@ $x∧α↓∧xβB uβα@eαB`UαB`UαβEαβE↓C 5λ↓β@$("⊗∧2 ∂π@``βαj`βαj08¬↓J@(¬A
@0∧@jP0∧J`(β@j`0α@jp(αjp0↓k(@k@,AK⊂0-↓+ 0,AkH,@ (+@` 0+`@(*@`P0*`p()@a0)a ()A00(@a@0'A↓`(&AAP8%αa⊂`%αa⊂`"Q⊃p∩GC`εα!∀Pεα!∀hββ TpαC@4pββ4xαC$xαB`4xβα 5αB5β↓`%λαA@5λαA 5λβ↓%⊂α@`5⊂β 5_α@ %_∧∀`u αUU αT`e_αT`U_αT`U_αT@e⊂β∪ATpεQ(EP∞πCapβE*⊃((AA0(↓↓0((↓↓ 0(a 0(a⊂0(A⊂0(A⊂('@a0'@A0,↓Jp0+A*`0*AJ@0*↓*00∧J 0∧@J⊂0∧@j0¬J(¬ip0¬i`0¬@iP0¬@i@0¬A @(¬A)00∧α !0%¬HT 0E"q_ A`tx¬S@P α∪@P(α∪@P(α∪`00α⊗E_∧SaTh∧@@D`βATXβ↓@DPβ↓`DPαB@⊂↓∩@P@α@$PαA`P⊂↓∩@P0β 4Pβaλ↓∪↓ λβS p αQ(F⊂εCap↓↓i@8'A `('↓ ` '↓ ` '↓ P(&A P ↓↓iPx&A`@(&A! &↓!⊂(&↓↓0 &↓↓0(&↓↓0(&↓↓0(&↓↓0(%A! 0%A↓0(%A↓0(%A↓ 0%A↓ (%A↓⊂(%↓@p(%↓`@0%` P%@@8"Q1⊂
∧b0@βT↓4xα@`TpαAThαA T`αA`4`αR`TXαR`TPβ∩@TPαR`DXαB $XαB4`α↓`4hα↓Dp¬∪`t("→β↓P∂πB@-α` .A+P .AP .AP .↓+@ )A` (B@⊂ 'A@@8'↓ p0&A!⊂(&↓! &↓! %A!0 %A!0 %A!0 %↓A (%↓!0 %↓!0 %A↓0 %A!⊂(%A!⊂(&↓p8&A @8'α@⊂8(↓` 8"QQ⊂
∧b0@β∀↓$xα@`DpαADhαA@D`αA`D`αA`DXαBDXλRb∀Pβ∩@TPαR`TXαB $XαB4`αA@4hα@`Dp¬∀d("→B1 ∂πA@(*α*0 A* ↓↓*⊂(↓↓*⊂ αj⊂ (A
⊂ (↓* &β @`(↓
'A)p 'A p 'A p '↓)` '↓ ` '↓ ` &A)P %αi X"Qq@πα0Pβ@U⊂λ∀`⊂α@ DxαA Pλ↓∪`P(αS@P0αS@P0αS@P0αS@P0αS`@(αS`P_αSaDp↓@ tp↓∪@$p↓SADpπSathλS@HαR`@XαR@PXαR@@`α∩@PPαR`@HαSP(β∪!dx∧Q(F@FβapαAip8)↓
⊂((A
⊂ (A
⊂ (A
((↓
↓Aj BJ@α↓
0β↓ p0βA p(∧↓ p ∧A p ∧A p ∧A p ∧A `(∧↓)` ∧A ` ∧A ` ∧A ` ∧A ` ∧A P(∧↓)P ∧A P↓BI P↓BHT 4C↓Qp∂α5λαT UλαT@48αS thβTEα∪`Txα∪`Dxα∪`Dxα∪@Tpα∪@Dpα∪@Dpα∪ Thα∩A$P¬⊃(FP βDqpπjp(+A*p(,hp()Aj08+↓
` *A*P *A
P *A
P *↓*@ *↓
@ *↓
@ )A*0 )A
0 )A
0 )↓)0_α↓ (↓A (↓↓ (A)0@&↓HT 5Ec↓p∂↓ txβT@EλαT Eλα∀ Eλα∀ EαTEα↓↓∃α↓↓∃α↓@Uα↓ DxαADxα↓4xα@Dxα Dx∧Sa$pβ Dpα@@Tpα↓Dpα↓Tpα↓ Dpα↓ ThαA@Dhα↓`TP∧@a∀P∧@a∀("≠↓@h∂π@P8'Aj (A*⊂ (A
⊂ (A
⊂ (↓* (↓
(↓
'A)p 'A p 'A p '↓)` '↓ ` '↓ ` &A)P %αI P"Q
R ∩Db0_β@`p0βS pλ¬a%∧↓@λα↓Eβ↓@p0α∪``8β↓`DxαBP@α∪`@Hαα Dxαα @Hα∪`@Hαα Dxαα @Hα∪@P@αBTpαα @Hα∪@@Hαα Dpαα @Hα∪@@Hαα Dpαα @Hα∪ P@αBThαα @Hα∩A _¬a$P¬a _¬⊃(FpFα1_↓A`08&A`⊂P(α@ (↓@` 'A@p 'A! 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ '↓!('↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ &A!(&A↓⊂ %α@0P%α@0P"Q
q(Db0Hβ∀↓4xαADpαA@DhαA`T`αB D`αB TXαB@TXαB@TXαB@TPβα dPαB@TPαB@TXαα@TXαα TXαA`T`α↓@Thα↓Tp¬Tt("≤β1P∞∧`P8↓↓iq⊂)↓`@()↓ p((A!⊂((A↓ ((A↓0((A↓0((A↓0((A↓0((↓! 0(↓↓0((↓↓0((↓↓ 0(↓↓ ((↓↓⊂('A@p('A`@0'A⊂P'A 8'A p '↓)` '↓ ` '↓ X%αhT 8E"q` B ` ↓∀↓ ⊂↓S``_↓@ 4pαA@dhαBT`αB D`αB DXαB@DXαB@DXαB@DPβα TPαB@DPαB@DXαB DXαBTXαBT`αA thα@`tp∧@ Eβ@E@α⊗E8αU`E8α∃`E8α∀a5_¬Q(G⊂ ∧b1_↓A` &A`⊂0(β
0A)p0↓↓)p(αip('A p 'A `('↓ ` '↓ ` '↓ P(&A X%αhT 9D"!_ A@p⊂↓∪a⊂λ↓∪@@ αS 08α∪@@↓S@@↓∪P8↓∪↓∀h¬SA4x¬T`tX↓α DX↓α@4X↓α@4X↓BDPαα4Pβ↓DP↓!$P↓`t("≥↓Qλ
F``⊂(J⊂(Ip_'↓ ` &↓) h%β)P &A @(&↓ @ &↓ @ &↓ 0(αI0 α@I0 α@I0 α@I0 α@I0 αi0 αI0 ↓@i@@&AHT :Eβ↓_ @p0βR@p0βS @Hα∪ @Hα∪P@αS@Hα∪@Hα∪@Hα∪@Hα∪@Hα∩`P@αR`@Hα∩`@Hα∩`@Hα∩`@@αR`@@αR`@8β∩`P βSα$pβ@@t("≥BQH D`Hαα Hαα @(βA P β@iP β@IP βiP βIP(αi` αI` ↓@i` ↓@I`(@ip8'AIp0'A)p((j_(HT ;Gd!_ @↓⊂_∧↓tP∧@a βSP0αB4hα↓`@8↓S @8α↓`$hα↓@P0↓S @0αA@$hαAp ↓S@@ ↓ @ ↓∪@@_↓@ @_↓S@@_↓@@_↓∪@Pλ↓@@Pλ↓S`p βS``(β∪``(β∪`P0αS`P0αT0@↓T0@↓T H↓⊃(G@ε"1_↓B @@&B @@(↓p (↓ P_(A@_(A _)↓⊂_)↓j0(*↓
@()AJ @(@` (`0('@`P '``(&↓↓(%↓`PP%↓`PP"Q∂⊃HGα0 ∧A↓∧p∧A↓¬αB5αA`5λα↓`%λα↓@5λα↓@%λαA5⊂α↓%⊂α`5⊂α`%⊂α@5⊂α@ %_βT`e_αT`U_α∃5 ↓∀`U_↓∀@4X↓A$Pα@@4Pα@ 4P∧∩@t`α⊃(GP Eα1_αβi`x'↓P('@`0&@`P0&@`@0&@@@0&@@@()↓J⊂0(↓J(αIp0αI`0αiP0α@i@0α@i@(βi00α↓) x%βhT εcQp∂↓"dx∀@`8β∀@`Hα∀@PX↓T@PX↓T@PX↓T@PX↓T@PX↓T `X↓∀ P`↓∀ UλαT UλαTeαTUαTUαS`dxαS`TxαS`TxαS@dpβ∩AtPπQ(@λ⊂Hcap
K`_.A@0.↓K08-α+ ⊂↓↓+⊂_↓↓+_↓AJp_αA*p⊂β↓*`_β↓JP_∧↓*P⊂∧AJ@_¬↓*0_¬A* _ε↓J ⊂π↓*⊂_π↓*_πAJ⊂λA)p_λAI`_ A)`⊂
↓)P_
↓I@_↓)1x%H "λ%λ(T ↓λ∧Ap∂βA∃(π∀`p(β∀@PPαT P`αTPpα∪`PxαS@QλαS Q⊂αS Q⊂αSQ αSPλ↓β ⊂αR`P⊂↓β ⊂αR`P⊂λ@@TXα@B⊂⊂αR@`λ dPα@B⊂⊂αR@P⊂↓β ⊂αR@P⊂↓β ⊂αR@P⊂↓β λβ∩@Q αR`A_β∩`Q⊂αR`QλαSPxαSPpαS P`αS@PPαS``(βT!e_∧Q(@_
πβapλK _,A⊂ ,A(,↓*p0+AJ`@+@⊂(*@`⊂(*@@ (*` (*@0(*@0()@`0()@@@0)`P()@`((@``((@@p((`p((A('@a('@A⊂0'a ('a (&↓!⊂0%α @h%α @h"QA`∂πC`(SbtxSC∧p↓∧`$p↓∧`$p↓∧`$p↓∧`$8T h↓∀ h↓∀ h↓∀α∃λSb$xλS` h↓∪` h↓∪` h↓⊃`$X↓∧`$X↓∧`$X↓∧`$X↓∧`$P∩BtPRBt("↓$2(∂π@Qp'GJ 0ε↓* 0¬AJ (ε↓* (ε↓* (ε↓* (ε↓* (ε↓*⊂0¬AJ⊂(ε↓*⊂(ε↓*⊂(ε↓*⊂(ε↓*⊂(ε↓*0¬AJ(ε↓*(ε↓*(ε↓*(ε↓*(ε↓)p0¬AIp(ε↓)p(ε↓)p(ε↓)p(ε↓)p(ε↓)`0¬AI`(ε↓I `ββ `ββλT βπd⊃p∂↓#$x
∪``hβTQα∀a↓T `x↓T@Px↓T@`p↓T`Pp↓T``h↓∃Ph↓∃e(αU e0αU@U8α∃`50↓U 0h↓∃0h↓T`0p↓∀ @x↓∀@x↓S`1λ↓S@1λ↓S 1λα∪0xβRc$P
∩C$("↓cr(∂π@@8¬AIPH∧α)0`βαi0hαβ) (α↓ 00α↓ β↓ ⊂0βi _βA ⊂(∧I ⊂∧B!⊂⊂%A⊂@¬JP@+↓J`0+↓*`(+↓*P0*A*P(*A*P(*A*@0*↓*@(*↓*@(*↓*00)AIQλ&D(T ∧π$!p∂αα¬⊂λ∃`e8β∃`U(∧T"∧xβ@ Pλβ∪@`_α@`ThαA` αSP(αA@TXαA@P0αR@`0αA`TPαA`P8αR@P8αA`TPαA@`0β∩@@8αA`TPαA@P8αR@P0αA@TPαA@P(αR`P(αAd`α@``⊂β∪!@λβSb¬⊂¬∃U αT`e_β∪B∧pλ⊃(@H∞IβapβD*⊃λ+↓J`0+↓*`(%↓ p(β↓I 0β↓ `0%A `(αAI0(αA@P(%A P(αAI0(αA P(%A P(αA)0(αA P(%A P(α↓I0(α↓@@(%A @(αA)0(α↓ @0%A@0(↓AI@(↓A 0(&↓@ (↓↓IP(C)Q⊂'βj`)A*0()↓J 0&∧)Aλ"Q↓!x⊃πC`h¬∃α¬⊂βA@eβα`Txββ Tpββ`TpαDThαD@ThαD@T`β∧ d`αD@Thα∧@Thα∧@Thα∧@Dhα∧ Thα∧ Dhα∧Thα∧Dp↓DDp↓C`Dp↓C`4pαβ Dx↓C 4P↓`0`α@$P↓`0`↓@`$P↓↓ X↓@`4P↓↓ X↓@`$P∧B!∀P∧B!∀P∧B↓∀P∧B↓∀("αQ@∞π↓⊂8(Bj(↓A)p β↓)` ∧↓ P(∧↓ P ∧A)@(∧A)@(∧A)0(¬↓)0(¬↓)0(¬↓)0(¬↓) 0∧AI (¬↓) (¬↓) (¬↓) (¬↓) (∧AI (∧A) (∧A) (∧A) (∧↓) (∧↓)0 βA)0 β↓)@ α↓)PX'AhT _Cb1`∞β %(α∀`Tp¬∪A%_αT`U⊂β∀@U⊂αT@U⊂αT@Uλβ∀ UλαT UλαT Uβ∀UαTUαTTxβ∪`dPπRAt("Ba@∞π↓ 8(C
(α↓)p_∧↓)`(βA)`0β↓I`0βA)`0β↓I`0β↓)p βA+⊂0,A+0,↓*p(+↓*P(*↓*0()↓
⊂ βJ β@Ip ∧I`_∧@iPx&∧ 1λ%∧)!λ"Qε1 Gβ@@∧∀!4xα↓ Txα↓@Dpβ↓ Tpβ↓ Tpβ↓ Tpβ↓Txα↓ U8αU@U(αT uβU@58↓U`E@α⊗E8αR`@@αR@`8αR@`8αR@`0αR@`0αR@P0αR`@ β∪↓4pβQ(C
¬CA` K0_-k⊂ ,↓*p0+↓jP@*α
0_A* _↓↓*⊂_↓A*⊂⊂α↓*_↓AIp_α↓)`_αA)P_β↓)@_βA)0_∧↓)! %¬
P(*A*P(*A*@0*↓*h(β(T ~Eαq`∞↓@ H↓Satxπ∪aDx¬∪`$x↓∪@4p↓∪@$p↓∪@ λβSADhαATh↓A`Dh↓αU@α⊗E@αR`0Hβ∩@P@αR@P@αR@P@αR@@@αR@0HαR` @αR`@ β∪↓4pβQ(C0
¬cA`¬AJ0P(A@0_(↓ P 'A P('↓ `(&A p(&A!_&↓)@(%A@ 0%A @%A ⊂_↓A) HαA @β↓) 8∧↓ 8∧↓) 0∧A) 0∧A) 0∧↓I (∧A) (∧A) (∧A)0 ∧↓)0(βA @ β↓)@(↓AI`P'AhT ≠E#!h∞@`$h ∪α4` ∪α∀XλR`0P↓R` P↓R@0P↓∩@ P↓U 5 ↓U5_↓T@E⊂↓T Eλα∀DxαS`Tpβ∪@Thβ∪ d`βSt`β∪dhα⊃(C@
¬cA`∧Aj⊂X(↓@('@a_'a⊂ 'a _'a _'a⊂ '↓ ` '↓@@ '↓` 'BjH(α)p`&A 8&↓ @8%Ap0%@a (%↓↓0 %a@ %a@_%a@_%a@_%↓↓ _%@a⊂_%A P &β `@"Qπ⊃ πβ@@β∀↓$pβ@ThαA T`αA`T`αA`TXαB DXαB DPαB@TPαB@TPαB@TPαB@TPαB dPαB dPαBdXα↓`tXαA!∧`α@a∀h∧@ Txβ@U0β∃@TX↓A`TPαA@TPαA TPαATPα`dX¬∪t(" αQ@∩λ!@⊂+J`⊂)Aj⊂X(↓ ⊂⊂A p ↓`0_'`@⊂α@IP α@@ &@`P⊂↓A)P_α@@0(&@`P⊂↓A)P_α`@_&A0⊂&A0⊂&B)`H'BJX)α*0⊂AJ0⊂↓A
0⊂αi0_α@@@ %↓ 0_α↓ (↓@@P_%↓ 0⊂α@i α@P_%`P⊂αi0⊂α@@0 %@`0_↓↓ @ @@⊂(&Bip0(@J⊂⊂(@HT ∪λ∧1p∂β U0βU @⊂↓U@_↓T`P_↓T`@ ↓T`@ ↓T`@_α∀`@_↓T`@λαTa∃_∧↓A∃_βα↓∃_αB`U⊂βα`5λβB@5∧α@$p¬B4hα@@P8↓SP_αA`$XαA`(↓R`P(αA4PαA@`⊂↓R@P8α@ 4PαAaH↓∩@P@βα@$PαB PH↓R`P0∧↓`4XαAPλβ`D`¬A↓4pβB d("∂B⊃⊂∂¬!@_*A*P(*A*`_#@jP⊂*@JP⊂*j@⊂)@j0_)j⊂ (↓ p &AI@0%A@`_%A `(%↓@`(%↓ p(%↓! %A↓_%A P(&β `@"QπqλGC`(∧∪!D`α↓ TX↓BTPααTPαA`TPαA`TPαA@dX↓A`U αT`U⊂αT Eλ↓T5↓S`4x↓S`$x↓∪`$x↓⊃`4h↓ST`αSTh↓Q(A¬αb1_↓AiP8(↓
'A)p 'A p 'A p '↓)` '↓ ` '↓ ` &A)P %αI P"Qα⊂pεπα08βT u α∃E_αT`E_α∀`E_α∀`E⊂αT@E⊂α∀@E⊂α∀@EλαT Eλα∀ Eλα∀ EαR`0⊂α∩@Pλα∩A∀P∧RA∧`α⊃(AHFβapε↓j@X)A 0()↓`((A `((Ap((Ap((Ap((A`((↓ P((↓@0&A`⊂@&A`⊂0(↓@((↓P 'A ` 'Ap('Ap('Ap('A↓ 'Ap('↓ p('↓↓('↓↓('↓↓('↓ _↓↓I` A ⊂(&D P BI 8↓α 8↓A(T
πd⊃_ Aa0β∪a0_¬∪@P α @_αS@P(βA DpαA `8α∪`00αBE@αBE@αα E_∪c$h∧@T`β↓ DXβ↓@DPβαDPαB @P↓∩@P@αB 4PαA`p8↓R@` α P α∩a@ ¬∪!8βQ(AX⊃ α1_∧AA⊂0(α`PP'A @ ↓A0('↓p AP &A↓⊂8βA @ ¬↓A &↓↓0(∧↓ 0 ε↓↓⊂ %A↓Aλ%A↓Aλ%↓!0(%↓↓@ %↓↓@ %@a00%A↓ 0¬I0 ∧Aa⊂_&↓p Ap_&A@(↓↓ @ 'α`@X(↓a8"QβA8π#↓(↓↔@5h↓W %`↓U`λ↓T!EαADxα↓@Tpα↓@thα↓` λα∪ @0↓@@D`α↓@0_α∪@(↓AD`α↓ (α∩`P ↓ATXα↓0(α∩`@_↓A@D`↓@` 0αS@λ↓A@D`βA@DhαA@Dpα↓Tpε∪ 0λβS4`↓∩`4P↓R@$("λ! p∂π@`_'A)p('A)p '↓)`('↓)` '↓ ` '↓ ` 'i`_'i`_'I`⊂'I`⊂'Hp_%@i (%↓) (%@hT ⊃H$R0∂∧@ H↓↔ H↓↔ @↓V`0@↓⊗` @↓V@0@↓⊗@ @↓V 0@↓⊗ @↓V0@↓⊗ H↓∃`0@↓U` H↓∃@0@↓Rd∧X⊂∃ 0@↓∃ @↓U0@↓∃ @↓T`0@↓∀` H↓∩D∧P⊂∀ 0@↓T H↓∀ @↓T0@↓∀ @↓S`0@↓∪` @↓S@0@↓∪@ H↓∪ 0@↓S H↓∪0@↓S H↓∪ @↓S @↓⊃(B(⊂ DBλβ↓α@⊂'αα⊂_&A _λ↓ @ αa` &↓P⊂ε↓)0 β↓↓0%A`8B) (β@⊂h%↓p⊂α`0_%↓p⊂∧@i β@A⊂⊂%↓`_∧i βA_%↓P_β@i α@@p_%@`@_βi0 ↓``_&↓``_&A p⊂β↓_αα
p_α↓ _+`@ αjP_αAP⊂*`P βJ0_β↓`⊂)``(βJ ⊂βAp⊂(@`p β@J_∧↓p⊂'@a⊂ βi`_¬↓`⊂&@a0 α@i@_ε↓P⊂%@a`_αi _πA _%B⊂8%B ("Q∧p8πβ#`_↓ST`αSThα∪`$x↓∪@4p↓∪ 4h↓∩`DPα∩@$("
↓q ⊗λ!P⊂+j@ )A
)j⊂_(↓
_'A ` '↓ ` &A P &↓)@ &↓ @ %A)0 %A 0 %A (%↓ %↓ %↓ %↓ %↓ 0_%@i0 %A @_&iP_&@i`_'@j⊂"Q¬⊂xπK∧⊂8↓T E_↓T`E ↓UE(↓U 5(α∃ E(α∃@50↓U@50↓U@50↓U E(α∃ E(α∃ E(α∃ E αUE α∃E_αT`E_α∀@U⊂α∀@Eλα∀ Eα∀Dxα∪@Dp↓S 4`↓R@DP↓Q(BPλEb"λ∧@j0_)@j0⊂&`@⊂↓@i@_α@0_&↓0λ↓A P ↓ 'B*⊂ (A `(@i 0↓ (%↓ ⊂↓A ↓@@@_(@J_(j_"Q¬1p⊃πC!λ↓⊗`%P↓V@%P↓⊗@%P↓⊗@%H↓V %H↓⊗ %H↓⊗ $P∂∩Ce@↓⊗%@↓⊗%8↓U`%8↓∃`%8↓∃`%0↓U@%0↓∃@%0↓⊃(B`βBAP ↓↓ 00%AI00&↓)p⊂'i`⊂'IP_&i0_%i ⊂"Q¬`(∧A@λ↓R@TPαR@TX↓Q(BxF%Bλ@L⊂⊂0l⊂/@kp⊂/k`⊂.@kP⊂.k0_-@K _-K⊂_,@K_,Jp_+@J`_+JP_*j@⊂)@j0⊂)j ⊂(@j⊂⊂(j⊂'@ip⊂'iP_&@I@_&I0_%@I _%HT ≥α↓A_ A4hαS ThαS@48∧R`4PαR@TPαR`4("∞a⊂`∞∧`P_'↓)`('↓)p_#B)@_%A)0(%A)@ 'IP_&@IP⊂&i@⊂%@i _%HT ≡α!Ap
A 4pαS@TpαS`48↓∪`$x↓∪`$p↓S@4p↓S@$h↓S 4h↓SD`α∪D`α∩`TXα∩`DXα∩@TPαR@TPαR`4("∂#r_¬D ⊃p%GHp8%πI!p"Qλα∩πC`p∧U!e_β↓`U⊂αβEλ↓D5↓D@4x↓A@`@↓∪@0(¬↓@4h↓A`_α↓@$h↓↓P8α@`$`↓A@Hα`4`↓↓@Pα↓$X↓@`PPα↓$X↓↓@Xα↓$X↓↓@Xα↓$P↓@`PPα@`4P↓↓@Xα↓$P↓↓@Xα↓$P↓↓@Xα↓$P↓↓ @Pα`4P↓A@Hα@`$X↓↓ 0@β@4X↓↓ P ∧ 4X↓AA λβS 8βA D`↓S 4pα∧@4xαBA∃λ
∀aD("⊗aQ⊗λ p0(AJ⊂⊂(@J⊂⊂(@J_(J⊂(J⊂(Ip_'@Ip⊂'@Ip⊂'@I`_'I`⊂'I`⊂'IP_&@IP⊂&@IP⊂&@I@_&I@⊂&I@⊂&I0_%@I0⊂%@I0⊂%@I _%↓I 0"QPhε∧⊂@αT@U(↓∃ %(↓∃ % ↓U% ↓∃% ↓∃%_↓T`%_↓∀`%_↓∀`%⊂↓T@%⊂↓∀@%⊂↓∀@%λ↓T %λ↓∀ %λ↓∀ %↓T%↓∀%↓∀$x↓S`$x↓∪`$x↓∪`$p↓R@dPβ⊃(F∧βAQpβI` &A P⊂&i0_%@I0⊂%@I (%↓I0(%A)@_"Qα 8λBβ`λ↓∩@DPαR@TXαSDhα∪@4x↓⊃(A_∧E@qpα@ip '↓)P(&↓)0 %↓ _"Qα@`
AC0↓A`$Pα↓ 4Xα@D`∧∪ dhαS@4("¬!a8∧π@⊂¬I ⊂∧@i ⊂∧@i _β@i _βi0_α↓ 0P&α P("Qαa@#λ∩B∧("¬a1`∧π@@(&α 0 ↓@i _βI ⊂β@I _βI0_↓A 0H&A(T βα`HA Dxα∪`Txβ∀ U⊂α∀ Txβ∩A$P∧⊃(B¬C@Qλ∧ip0&AI0(%↓ ⊂"Q``
Ac`0↓∪`DpαS t`α DXα`4P↓A@4P↓α$("↔`Ppαπ@⊂_%↓) (%↓)0_"Q∂Pxαβ` ↓A4pα`Dhα@@T`α@@T`α`DXα`DPα`DP↓A4P↓↓ $("∨B⊃@αG@P βI`0αi@H↓i0 B) _α↓i ⊂β@hT ?CBp ∂ 00↓R@P αR@P αR@P αR`00↓Q(Ah∃
capλεK!P.B!0.@@⊂0¬↓@_A!@_.@ (εk0_↓↓!@_-@@0(εk _↓A @⊂βk⊂_↓A@0_βK⊂⊂α↓ @⊂β@K_α↓ @⊂,@P(↓@jp_αA +@@`X+`P`*@``(↓@jP⊂βA 0_*`p(αJ@xαA⊂)D@⊂β@j0⊂∧↓@@⊂β@J _∧↓!P_(@a⊂(ε@j⊂⊂¬↓!@_(a (¬A
⊂¬A!0 '@a 0∧A)P(¬↓!8%α`18%α`18"QβbX↔GC`p∞U$¬_βA pHβ∀@`@βα`EλαB@Ph↓TPXαC 4xαCPh↓S@PhαC 4hαC@P(↓↓@4hαC ` ↓A@$`αC@P(↓↓`$`αC@P(↓∩`PxαA4XαC`P_α∩`Pxε∩@`pεR@PxαA4PαC`P ↓R@PxαA $PαC`P(↓α$PαC`P(↓↓`4XαC `(↓↓`$XαC Pp↓R`PhαC@4`αCPh↓SP`αCDhαB@``α∪@PHβα@Txβ↓@`HβT#u_∞Q(Ax⊂ ∧Bλ∂Lp_3kHαjPp↓J08αB
(¬↓*⊂(ε↓*(ε↓Ip(εα `(ε` (&A!P⊂↓A)P(ε`0(&↓!@_αA)@(¬@``(%A!0_βA)0(¬a(%A!⊂_∧A) 0∧@A⊂0%↓!⊂_∧A) (∧a (%↓ p_¬A) (βa00%↓ P_ε↓)0 αa@0%A 0⊂εA)0(↓a@(&α↓@(&↓a@(&A!@('↓! (&BP8&@@ p&`@H%@i _%HT ¬H∧⊃p∂β p β∃"U_β↓pλαT@P(β`U⊂α↓@`_αT @8αA 5λααEλααEλααEαA`UααDh∪#¬ααEααDxαA`TxααDxααDxααDxααDxααDpαA`TpααDpααDpααDpααDpααDhαA`ThααDP¬A4P¬A4("ββ↓H∂πAP@*C
00αA
(β↓* βA*⊂ ∧↓*⊂ ∧@j⊂ (A
((↓ Q &E
∧A
∧A p(∧↓)p ∧A p ∧A p ∧A p ∧A p ∧A `(∧↓)` ∧A ` ∧A ` ∧A ` ∧A ` ∧A P(∧↓)P ∧A P↓BI P↓BHT εF#!p∂β!⊂↓∃!e_β↓ U⊂αA@e⊂α↓`UλααUλαα Eλαα Eλαα EαBUαα Dh
∪"Eαα Eαα DxαBTxαα Dxαα Dxαα Dxαα Dxαα DpαBTpαα Dpαα Dpαα Dpαα Dpαα DhαBThαα DP¬a$P¬a$("βDB(∂πAP8αB
PXC
00ααP )↓ P8β↓* β↓@p((Ap(∧↓*⊂ ∧↓↓⊂_(A↓ (A↓ (↓ p((↓↓ &H R(↓↓ ∧A
∧↓↓⊂ 'A p(∧↓)p ∧↓↓⊂ 'A↓ ∧A p ∧↓↓⊂ 'A↓ ∧A p ∧↓↓⊂ '↓ p(∧↓)` ∧↓↓⊂ '↓↓ ∧A ` ∧↓↓⊂ '↓↓ ∧A ` ∧↓↓⊂ &A p(∧↓)P ∧↓↓⊂ %α@ P↓BI P↓α@0P"Q↓r(∪πC`h∧↓↓⊂↓∃#%_β↓ p(αT@P0β↓@e⊂α↓`P8αT @@αA`Uλαα@Hα∀ @@αα Eλαα@Hα∀P8αBUαα@Hα∪$∧h⊂∀@@αα Eαα@Hα∪`P8αBTxαα@Hα∪`@@αα Dxαα@Hα∪`@@αα Dxαα@Hα∪@P8αBTpαα@Hα∪@@@αα Dpαα@Hα∪@@@αα Dpαα@Hα∪ P8αBThαα@Hα∩A ⊂¬a$P¬A _¬⊃(E`λε!Qpβ@`⊂'↓@ &A@ &@@`⊂&`P_%@`P_%@@`⊂%@@`⊂%@@`⊂%↓ 0(%↓@ 0%A 0(%A 0(&`P_"Q∧ x C#`_↓A 4`α@`T`α@`T`α@`Thα↓Dx↓↓@$x↓↓@$p↓A 4p↓↓@$h↓A 4h↓↓@$Xα↓DPα↓DP↓↓@$("!0h↓B`X%αi X%αhT =ECλεαdP⊃(G`⊗K`⊂`)"h"}↔X ∧|X5¬ ⎇N ⎇N∨␈x␈␈?␈x␈⎇ λ>dλ⊃@↓E(*@⊃⎇H"λαt↑h
{⊂d⊂¬xP"␈0"λ``Gs c≡d(∂@↓3}@⊂β⎇HapαW@h(P{⊃d@ε9p ←∨0$λ``*U ↓\↑dHλ@←→@_x⎇I!@α∞5`C0{∩d@ε2H`↓⊃∨0&π P#GαC≡dh∃↓q⊂{@(2⎇Ib_β
U(c@{∪d@ε2H`↓[?0(π`X_? βU↑eλ∩↓LP#8Z⎇J"⊂ββ-h↓¬0{∀c ∧HX@α~␈0*λ Xp→ ∧R≡e(⊃@↓E(*@HX⎇Jb_β
U(↓#{∃epλ9VpαT∨0,λ``*U ¬Z≡eH⊃@↓E(*@Xn⎇K!`αAJ ↓D⊂{_"p∧∞≤@β∃␈01ε@H⊃1εA↑f_
tx↓@h8⎇LAPα$, ↓[{→"@βS`0βC←03β@(β∀@π_≡f8@↓β@rpV⎇M↓Pα$, ↓q0{~!Pα$, βp?05β@(β∀@πo↑fX↓
hj↓ ⎇M@h↓∩⊗⊂απ`{≠$`εm∧`∧_∨07ε@H⊃1λP↑fx@↓β@r↓λL⎇N↓Pα$, α≡@{≤#∧+:@∧I␈09∧@0=P@ .↑g_ g`C↓⊂y⎇NA⊂↓LR_α4{≥# ∧HX@∧q␈0;ε@Vu y≡g8⊂@↓>2@↓ ∃⎇O↓@α∃] αJ⊂{≡#∧+:@¬≥←0=¬8'@`
S↑`∞@↓$8∞↓(K⎇@∩0β6B0α↑p{D@ε2H`¬K?0↓G P@e <↑` ∞↓ `R↓80⎇@R_β
U(α{`{↓D⊂¬xPεπ?0βI`e⊃@)≡`@⊂@↓>2@↓H¬⎇A∩ β→$0β_p{αD⊂¬xPεB∨0_¬`@≤9
(≡cλ@↓β@r↓X ⎇F!8απ∞ β5 {bp∧∞≤@εu←0~¬`@≤9∞α↑c(@↓β@r↓`/⎇Fa8απ∞ βKP{
bp∧∞≤@π%?0≤¬`@≤9∞]↑cH@↓β@r↓hp⎇DA8απ∞ βe{ D@ε2H`π]␈0∨¬@8a|`∂a≡cx|_y@↓xh⎇Bh↓∩⊗⊂∧↓p{∧!`αAJ λ ←0E`@≤9⊂$↑aP⊂@↓>2@αλ ⎇C2 β→$0∧↔P{παp∧∞≤@λ=←0⊂C HX@⊃~≡b_∪↓[ ∪α⊂S⎇DR0β6B0∧4⊂{ aPα$, β←0∀∧@02H`∩⊂≡bH f(⊃@α P⎇E!8απ∞ ∧P⊂{
d@ε2H` )←0⊗β HX@∩d↑bpε@Iλ1α(Z⎇Eq8απ∞ ∧\0{∞APα$, D␈0≥C HX@∪⊃≡c`ε@Iλ1α09⎇GR β→$0∧k {⊂∧@ε2H` X←0-C HX@∪`≡ehε@Iλ1α8p⎇Lh↓∩⊗⊂¬∧⊂{∧Bp∧∞≤@
←0 E`@≤9∀∨↑a @↓β@rα@J⎇BQ8απ∞ ¬{¬Bp∧∞≤@
~←0I h"λ∀8≡a@⊂@↓>2@αH↓⎇Dh↓∩⊗⊂¬⊃p{↔Bp∧∞≤@
&∨0/C HX@∀T≡gh@↓β@rαH0⎇Oa8απ∞ ¬_`{∨bp∧∞≤@
5?0∞J@pl∨@∀q↑ap↔απλc@αP>⎇Cr β→$0¬30{αc0∧ev@
|␈0εε@H⊃1⊗≠≡`h
↓∩⊂bα`o⎇Ab0β6B0¬U`{βd`εm∧`A∨0.¬`@≤9↔/↑b⊂@↓β@rαp}⎇EPx↓/4⊂¬s`{≡bp∧∞≤@i?0>@↓8q`↔U←⊂l__ow{⎇x